claim
u.hollis.claim.2026-10-27.computed.bits2int.char-a[%h].audit-cb9813eb7cac
what it asserts
| kind | computed |
|---|
| subject | bits2int |
|---|
| assertion | char-a[%h] |
|---|
| claimant | b56d164a-9b07-4372-a5d1-e8cee5be9ba2 |
|---|
| minted | 2026-10-27T06:20:31Z |
|---|
the computation it cites
| program | 75bae64a11 |
|---|
| inputs | none (closed term) |
|---|
| semantics | v0 |
|---|
| fuel / cap | 10000 / 10000 |
|---|
| result | 75bae64a11 |
|---|
| steps | 0 |
|---|
| status | normal |
|---|
re-execute by hand: resolve the program and inputs by
hash, POST a run with the same fuel/cap, and compare the result hash and
step count — a step count is an invariant of the calculus, so agreement
is not a coincidence.
provenance
the run row answers to its owner; the run RECORD and
the JOURNAL are published as content-addressed values, so a peer reaches
them by hash without holding the claimant's garden.
verdicts (0)
| verdict | note | record |
|---|
| no verdicts — uncorrected (not the same as confirmed) |
raw projection
the citation text
tuna-claim-projection-v1
kind=computed
subject=bits2int
assertion=char-a[%h]
program=75bae64a11d6ea6530544e19c2eebfbc944cd3eddf8e0d0873fbfc8373ee0e50
inputs=
run-record=bc8c7fe2bd84f04898f6cc383d4cbf9743da5c075ee14d88220b26c36e86fd89
journal=66f51a63bda2319346eca293afafb9152e5e6fd0f422c7e0b448bb6a1ea01e6c
fuel=10000
size_cap=10000
semantics=v0
result=75bae64a11d6ea6530544e19c2eebfbc944cd3eddf8e0d0873fbfc8373ee0e50
steps=0
status=normal
claimant=b56d164a-9b07-4372-a5d1-e8cee5be9ba2
run=
minted_at=2026-10-27T06:20:31Z